//]]>
Log in to Your Account
Search history
[
x
]
Library of American University of Madaba
Search
Library Catalog
Title
Author
Subject
ISBN
Series
Call Number
Lists
Advanced Search
|
Browse by author or subject
|
Tag Cloud
Your cart is empty.
Public Lists
No Public Lists
Log in to Create Your Own Lists
Your search returned 3 results.
Relevance
Popularity (Most to Least)
Popularity (Least to Most)
Author (A-Z)
Author (Z-A)
Call Number (0-9 to A-Z)
Call Number (Z-A to 9-0)
Publication/Copyright Date: Newest to Oldest
Publication/Copyright Date: Oldest to Newest
Acquisition Date: Newest to Oldest
Acquisition Date: Oldest to Newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Typed Lambda Calculi and Applications
by
Hasegawa, Masahito.
Publication:
. XII, 251 p. 18 illus.
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Typed Lambda Calculi and Applications
by
Ong, Luke.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Specification and Verification of Multi-agent Systems
by
Dastani, Mehdi.
Publication:
. XVII, 405p. 100 illus.
Availability:
Copies available:
AUM Main Library (1),
Actions:
Add to Cart
Refine your search
Availability
Limit to
currently available items.
Authors
Dastani, Mehdi.
Hasegawa, Masahito.
Hindriks, Koen V.
Meyer, John-Jules Ch...
Ong, Luke.
Libraries
AUM Main Library
Series
Lecture Notes in Com...
Topics
Computer science.
Computer Science.
Computing Methodolog...
Electronic data proc...
Mathematical Logic a...
Show More
Languages:
English |
العربية
